home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / sml_nj / cml-098.lha / cml-0.9.8 / examples / ex-buffer-sig.sml next >
Encoding:
Text File  |  1990-11-01  |  567 b   |  20 lines
  1. (* ex-buffer-sig.sml
  2.  *
  3.  * COPYRIGHT (c) 1990 by John H. Reppy.  See COPYRIGHT file for details.
  4.  *
  5.  * This is the signature of unbounded buffered channels.  Send operations never
  6.  * block, but accept/receive operations may.
  7.  *)
  8.  
  9. (* BEGIN EXAMPLE *)
  10. signature BUFFER_CHAN =
  11.   sig
  12.     structure CML : CONCUR_ML
  13.     type 'a buffer_chan
  14.     val buffer : unit -> '1a buffer_chan
  15.     val bufferSend : ('a buffer_chan * 'a) -> unit
  16.     val bufferAccept : 'a buffer_chan -> 'a
  17.     val bufferReceive : 'a buffer_chan -> 'a CML.event
  18.   end (* BUFFER_CHAN *)
  19. (* END EXAMPLE *)
  20.